61. Logic programming and nonmonotonic reasoning.
پدیدآورنده : LPNMR '97 (4th : 1997 : Dagstuhl Castle, Germany)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
62. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Pedro Cabalar, Tran Cao Son (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L66
2013
63. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 1997 : proceedings
پدیدآورنده : Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1265
64. Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
پدیدآورنده : Chitta Baral... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
3662
65. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
پدیدآورنده : Michael Gelfond, Nicola Leone, Gerald Pfeifer )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1730
66. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
پدیدآورنده : Vladimir Lifschitz, Ilkka Niemela )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2923
67. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
پدیدآورنده : Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2173
68. Logic programming, knowledge representation, and nonmonotonic reasoning
پدیدآورنده : [edited by]& Marcello Balduccini, Tran Cao Son
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع :
69. Logic programming, knowledge representation, and nonmonotonic reasoning :
پدیدآورنده : Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Gelfond, Michael,Logic programming,Nonmonotonic reasoning
70. Logic, rhetoric, and legal reasoning in the Qur'ān :
پدیدآورنده : Rosalind Ward Gwynne.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
رده :
BP104
.
I5
G89
2004
71. Logic, rhetoric, and legal reasoning in the Qur'an
پدیدآورنده : / Rosalind Ward Gwynne
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : Islam and reason - Koranic teaching,Koran and philosophy,Intellect - Religious aspects - Islam - Koranic teaching,عقل ( اسلام ) - جنبه های قرآنی
رده :
BP216
,.
15
.
G89
72. Logic, rhetoric and legal reasoning in the Qur'an: God's arguments
پدیدآورنده : Gwynne, Rosalind Ward
کتابخانه: Special Library of University of Religions (Qom)
موضوع : Koranic teaching ، Islam and reason,، Koran and philosophy,Religious aspects Islam Koranic teaching ، Intellect
رده :
BP
134
.
R33
.
G89
73. Logic, rhetoric, and legal reasoning in the Quran: God's arguments
پدیدآورنده : Rosalind Ward Gwynne
کتابخانه: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
موضوع : Islam and reason - Koranic teaching,Koran and philosophy
74. Logic, rhetoric, and legal reasoning in the Quran: God's arguments
پدیدآورنده : Gwynne, Rosalind Ward.
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : Koranic teaching ، Islam and reason,Koranic teaching ، Reason,، Koran and philosophy,Religious aspects Islam Koranic teaching ، Intellect
رده :
BP
104
.
R4G8
2004
75. Logic techniques of formal reasoning
پدیدآورنده : Donald Kalish, ... ]et al.[
کتابخانه: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
موضوع : Logic
رده :
160
L
832
Ed
.
2
76. May 1, 2010, Revised Selected Papersع۰ب16, Dakar, Senegal, April 25-Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR
پدیدآورنده : / Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
77. Meaning in dialogue : an interactive approach to logic and reasoning
پدیدآورنده : Trafford, James
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Reasoning,، Logic
رده :
BC
177
.
T72M4
78. On the Logic Fundation of Fuzzy Reasoning
پدیدآورنده : Wang, Guo-Jun
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Fuzzy mathematics
رده :
QA
248
.
5
.
W2
1997
79. Principles of reasoning; an introduction to logic, methodology, and the theory of signs
پدیدآورنده : / Henry S. Leonard.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع :
80. 19, 2011. Proceedings-Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16
پدیدآورنده : / David Poole (auth.), James P. Delgrande, Wolfgang Faber (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
